Feeds to Scour
SubscribedAll
Scoured 24755 posts in 23.4 ms
Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning  🦀Rust Borrowing
arxiv.org·6d
The Browser Security Breakthrough That Made UAF Exploits Harder  🔓Hacking
hackernoon.com·2d
Linux Kernel 6.12.86 and 6.18.27 released  🔍eBPF
linuxcompatible.org·5d·Hacker News
Relational modeling and APL ⁑ Dercuano  📊APL Heritage
dercuano.github.io·2d·Lobsters
Abstract Machines for Logic Programs  🔍Type Inference
chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming
You've Been Constraint-Solving All Along  🧮Z3 Solver
craigstuntz.com·1d
The M:N Concurrent Model — A Complete Guide. From First Principles to Production Schedulers  🔩Systems Programming
0xkiire.com·3d·Hacker News, r/golang, r/rust
The Capability-Tractability Tradeoff  🎯Performance Proofs
buttondown.com·1d
Hardware Memory Models (Memory Models, Part 1)  ⚡Hardware Transactional Memory
research.swtch.com·4d·Hacker News
Understanding Bottleneck  🎯Performance Proofs
dsebastien.net·3d
Concurrent, atomic MSI hash tables  ⚡Hardware Transactional Memory
nullprogram.com·6d·Hacker News, r/C_Programming
Evidence-Tracked Tape Semantics for Probabilistic Computation  📼Tape Combinators
arxiv.org·5h
Finitary Truly Concurrent Bisimulations  ⚡Hardware Transactional Memory
arxiv.org·5h
Behavior Cue Reasoning: Monitorable Reasoning Improves Efficiency and Safety through Oversight  📏Linear Logic
arxiv.org·1d
State Representation and Termination for Recursive Reasoning Systems  🔗Constraint Handling
arxiv.org·1d
t\"{a}k\={o}Formal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)  ⚡Hardware Transactional Memory
arxiv.org·5d
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification  ⚖️RISC-V Formal
arxiv.org·5d
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers  🎞️Tape Combinatorics
arxiv.org·6d
Evaluating Prompting and Execution-Based Methods for Deterministic Computation in LLMs  📼Tape Combinators
arxiv.org·6d
Set-like operations on propositional logic programs  🔗Combinatory Logic
arxiv.org·6d

No more posts from matmat's subscribed feeds.

Scour all 24963 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help